Automatic Construction Of Discourse Representation Structures

Kamp's Discourse Representation Theory is a major breakthrough regarding the systematic translation of natural language discourse into logical form. We have therefore chosen to marry the User Specialty Languages System, which was originally designed as a natural language frontend to a relational database system, with this new theory. In the paper we try to show taking for the sake of simplicity Kemp's fragment of English how this is achieved. The research reported is going on in the context of the p r o j e c t Linguistics and Logic Based Legal Expert System u n d e r t a k e n jo in t ly by the IBM H e i d e l b e r g Sc ien t i f i c C e n t e r a n d the Univers i t~i t T i i b i n g e n .